Knihy od autora Jim Woodcock

Zobrazeno 1 – 14 z 14 výsledků

1. 

   Software Engineering for Robotics

   Brijesh Dongol, Jim Woodcock, Jon Timmis, Rob Hierons | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3907 Kč

   Koupit
2. 

   Unifying Theories of Programming and Formal Engineering Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   Domain Modeling and the Duration Calculus

   Chris George, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Software Engineering for Robotics

   Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   4175 Kč

   Koupit
5. 

   Formal Methods and Software Engineering

   Jin Song Dong, Jim Woodcock | Springer, Berlin, 2003

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3313 Kč

   Koupit
6. 

   Refinement Techniques in Software Engineering

   Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
7. 

   Dependable Software Engineering. Theories, Tools, and Applications

   Wenhui Zhang, Jim Woodcock | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2571 Kč

   Koupit
8. 

   Formal Methods: Foundations and Applications

   Marcel Vinícius Medeiros Oliveira, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
9. 

   Verified Software: Theories, Tools, Experiments

   Natarajan Shankar, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
10. 

    Theoretical Aspects of Computing

    Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010

    
    

    50 % šance - Prohledáme celý svět

    Jazyk: Angličtina

    Vazba: Brožovaná

    1424 Kč

    Koupit
11. 

    Theories of Programming and Formal Methods

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
12. 

    Theoretical Aspects of Computing -- ICTAC 2013

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
13. 

    Verified Software: Theories, Tools, Experiments

    Bertrand Meyer, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3313 Kč

    Koupit
14. 

    Formal Methods and Hybrid Real-Time Systems

    Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit

Expresní doručení do druhého dne jen za 54 Kč Zjistěte více